-
1 определимое множество
Большой англо-русский и русско-английский словарь > определимое множество
-
2 ординально определимое множество
Большой англо-русский и русско-английский словарь > ординально определимое множество
-
3 explicitly
1) особо
2) подробно
3) явно ∙ define function explicitly ≈ задавать функцию явно explicitly bounded function ≈ явно ограниченная функция explicitly definable formula ≈ явно определимая формула explicitly definable function ≈ явно определенная функция explicitly definable relation ≈ явно определимое отношение explicitly definable set ≈ явно определимое множество - define explicitly - explicitly bounded - explicitly calculable - explicitly definable - explicitly quasiconcave - explicitly solvable ясно, точно;
открыто, недвусмысленно, без обиняков - it was * stated that... было сделано ясное заявление, что... эксплицитноБольшой англо-русский и русско-английский словарь > explicitly
-
4 arithmetically
арифметически arithmetically consistent data ≈ арифметически непротиворечивые данные arithmetically definable set ≈ арифметически определимое множество arithmetically defined subgroup ≈ арифметически определенная подгруппа arithmetically equivalent degree ≈ арифметически эквивалентная степень arithmetically expressible sentence ≈ арифметически выразимое высказывание arithmetically extensible function ≈ арифметически продолжаемая функция arithmetically normal variety ≈ арифметически нормальное многообразие arithmetically provable formula ≈ арифметически доказуемая формула arithmetically valid formula ≈ арифметически общезначимая формула completely arithmetically productive set ≈ вполне арифметически продуктивное множество - arithmetically connected - arithmetically definable - arithmetically equivalent - arithmetically extensible - arithmetically provable - arithmetically validарифметическиБольшой англо-русский и русско-английский словарь > arithmetically
-
5 definable set
Большой англо-русский и русско-английский словарь > definable set
-
6 explicable set
Большой англо-русский и русско-английский словарь > explicable set
-
7 ordinal-definable set
Большой англо-русский и русско-английский словарь > ordinal-definable set
-
8 arithmetically definable set
Математика: арифметически определимое множествоУниверсальный англо-русский словарь > arithmetically definable set
-
9 definable set
Математика: определимое множество -
10 elementarily definable set
Математика: элементарно определимое множествоУниверсальный англо-русский словарь > elementarily definable set
-
11 explicable set
Математика: определимое множество -
12 explicitly definable set
Математика: явно определимое множествоУниверсальный англо-русский словарь > explicitly definable set
-
13 implicitly definable set
Математика: неявно определимое множествоУниверсальный англо-русский словарь > implicitly definable set
-
14 ordinal-definable set
Математика: ординально определимое множество -
15 arithmetically definable set
English-Russian scientific dictionary > arithmetically definable set
-
16 definable set
-
17 elementarily definable set
English-Russian scientific dictionary > elementarily definable set
-
18 explicable set
-
19 explicitly definable set
English-Russian scientific dictionary > explicitly definable set
-
20 implicitly definable set
English-Russian scientific dictionary > implicitly definable set
- 1
- 2
См. также в других словарях:
ПАРАДОКС ЛОГИЧЕСКИЙ — положение, которое сначала еще не является очевидным, однако, вопреки ожиданиям, выражает истину. В античной логике парадоксом называли утверждение, многозначность которого относится прежде всего к его правильности или неправильности. В… … Философская энциклопедия
ВЫНУЖДЕНИЯ МЕТОД — форсинг метод, особый способ доказательства существования моделей аксиоматич. теорий, предложенный П. Козном в 1963 для доказательства совместимости отрицания континуум гипотезы щСН и других теоретико множественных предложений с аксиомами системы … Математическая энциклопедия
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… … Философская энциклопедия
ФД (паровоз) — Паровоз ФД Паровоз ФД20 1237 в Брестском железнодорожном музее Основные данные Осевая формула Годы постройки … Википедия
ФЭД (паровоз) — Паровоз ФД Паровоз ФД20 1237 в Брестском железнодорожном музее Основные данные Осевая формула Годы постройки … Википедия
Феликс Дзержинский (паровоз) — Паровоз ФД Паровоз ФД20 1237 в Брестском железнодорожном музее Основные данные Осевая формула Годы постройки … Википедия